నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి
1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

సంవత్సరం:
2019
భాష:
english
ఫైల్:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 2.72 MB
0 / 0
english, 2010
3
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

సంవత్సరం:
2017
భాష:
german
ఫైల్:
PDF, 2.44 MB
0 / 5.0
german, 2017
4
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

సంవత్సరం:
2017
భాష:
german
ఫైల్:
PDF, 2.44 MB
0 / 0
german, 2017
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 14.21 MB
0 / 0
english, 2003
6
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

సంవత్సరం:
2009
భాష:
english
ఫైల్:
PDF, 6.22 MB
0 / 0
english, 2009
10
Advanced Formal Verification

Advanced Formal Verification

సంవత్సరం:
2004
భాష:
english
ఫైల్:
PDF, 4.44 MB
0 / 0
english, 2004
12
Advanced formal verification

Advanced formal verification

సంవత్సరం:
2004
భాష:
english
ఫైల్:
PDF, 2.02 MB
0 / 0
english, 2004
13
Advanced Formal Verification

Advanced Formal Verification

సంవత్సరం:
2004
భాష:
english
ఫైల్:
PDF, 4.44 MB
0 / 0
english, 2004
14
Advanced Formal Verification

Advanced Formal Verification

సంవత్సరం:
2004
భాష:
english
ఫైల్:
PDF, 4.04 MB
0 / 0
english, 2004
16
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

సంవత్సరం:
1998
భాష:
german
ఫైల్:
PDF, 5.25 MB
0 / 0
german, 1998
18
Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation, 10)

Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation, 10)

సంవత్సరం:
2012
ఫైల్:
PDF, 14.21 MB
0 / 0
2012
19
Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

సంవత్సరం:
2023
భాష:
german
ఫైల్:
PDF, 8.13 MB
0 / 5.0
german, 2023
20
Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme

సంవత్సరం:
2024
భాష:
german
ఫైల్:
PDF, 5.16 MB
0 / 0
german, 2024
21
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

సంవత్సరం:
2021
భాష:
english
ఫైల్:
PDF, 4.83 MB
0 / 0
english, 2021
22
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

సంవత్సరం:
2020
భాష:
english
ఫైల్:
PDF, 6.62 MB
0 / 0
english, 2020
23
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

సంవత్సరం:
2018
భాష:
english
ఫైల్:
PDF, 6.33 MB
0 / 5.0
english, 2018
24
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

సంవత్సరం:
2018
భాష:
english
ఫైల్:
PDF, 4.74 MB
5.0 / 5.0
english, 2018
25
Advanced Logic Synthesis

Advanced Logic Synthesis

సంవత్సరం:
2018
భాష:
english
ఫైల్:
PDF, 6.76 MB
0 / 5.0
english, 2018
26
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

సంవత్సరం:
2019
భాష:
english
ఫైల్:
PDF, 4.03 MB
0 / 0
english, 2019
27
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

సంవత్సరం:
2019
భాష:
english
ఫైల్:
PDF, 2.97 MB
0 / 0
english, 2019
28
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

సంవత్సరం:
2020
భాష:
english
ఫైల్:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
29
Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

సంవత్సరం:
2016
భాష:
english
ఫైల్:
PDF, 5.99 MB
0 / 0
english, 2016
30
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

సంవత్సరం:
2015
భాష:
english
ఫైల్:
PDF, 7.24 MB
0 / 0
english, 2015
31
Quality-Driven SystemC Design

Quality-Driven SystemC Design

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 2.70 MB
0 / 0
english, 2010
32
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

సంవత్సరం:
2022
భాష:
english
ఫైల్:
PDF, 5.57 MB
0 / 0
english, 2022
33
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

సంవత్సరం:
2020
భాష:
english
ఫైల్:
PDF, 4.48 MB
0 / 0
english, 2020
35
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

సంవత్సరం:
2021
భాష:
english
ఫైల్:
PDF, 4.83 MB
0 / 0
english, 2021
36
Advanced BDD Optimization

Advanced BDD Optimization

సంవత్సరం:
2005
భాష:
english
ఫైల్:
PDF, 3.46 MB
0 / 0
english, 2005
37
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

సంవత్సరం:
1998
భాష:
english
ఫైల్:
PDF, 4.85 MB
0 / 0
english, 1998
38
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

సంవత్సరం:
2012
భాష:
english
ఫైల్:
PDF, 1.51 MB
0 / 0
english, 2012
39
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

సంవత్సరం:
1998
భాష:
english
ఫైల్:
PDF, 7.56 MB
0 / 0
english, 1998
40
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

సంవత్సరం:
2018
భాష:
english
ఫైల్:
PDF, 6.33 MB
0 / 0
english, 2018
41
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 3.49 MB
0 / 0
english, 2010
42
Formal Verification of Circuits

Formal Verification of Circuits

సంవత్సరం:
2000
భాష:
english
ఫైల్:
PDF, 12.73 MB
0 / 0
english, 2000
43
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

సంవత్సరం:
2017
భాష:
english
ఫైల్:
PDF, 2.07 MB
0 / 0
english, 2017
44
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

సంవత్సరం:
2008
భాష:
english
ఫైల్:
PDF, 769 KB
0 / 0
english, 2008
46
Quality-Driven SystemC Design

Quality-Driven SystemC Design

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 3.25 MB
0 / 0
english, 2010
49
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

సంవత్సరం:
2016
భాష:
english
ఫైల్:
PDF, 9.01 MB
0 / 0
english, 2016